type Last<T extends any[]> = T extends [...infer Rest, infer Last]
  ? Last
  : never;

//   export type function Last = (T extends any[]) => ^{
//     if(T extends [...infer _, infer U]) {
//         return U
//     } else {
//         return never
//     }
// }
